Pol Bury : le temps en mouvement

Au temps en emporte le C

Le (bon) séquencement des événements au fil du temps est un sujet important pour l’analyse de programmes, par exemple dans le cadre de protocoles d’échange d’information ou de systèmes embarqués. De nombreux travaux s’appuient sur la logique temporelle linéaire (LTL) pour décrire formellement le comportement attendu d’un programme, sous la forme d’une succession d’actions distinctes. Implanté a...

Calculateurs arithmétiques en temps réel

Extraction des objets en mouvement : une approche mixte contours-régions

In this paper, we propose a new method to extract moving objects from a video stream without any motion estimation. The objective is to obtain a fast and efficient extraction method, robust to noise and large motions. Our approach consists in a frame differencing strategy combined with a hierarchical segmentation approach. First, we propose to extract moving edges with a new difference scheme, ...

Tabea Rebafka Estimation Dans Le Modèle D’empilement Avec Application Aux Mesures De La Fluorescence Résolue En Temps

vii

Fusion de primitives visuelles pour le suivi 3D temps-réel

This paper proposes a real-time, robust and efficient 3D model-based tracking algorithm. A virtual visual servoing approach is used for monocular 3D tracking. The integration of texture information in the classical non-linear edgebased pose computation provides a more reliable tracker. Robustness is enforced using a multi-scale model of the texture and by integrating a M-estimator into the virt...